Nuprl Definition : Rbframe 0,22
@loc: k sends only on links in L
== inr(inr(inr(inr(inr(inr(inr(inr(inr(inl(<loc,k,L>)))))))))) 
latex

Definitionsinr(x), inl(x), <a,b>
FDL editor aliasesRbframe

origin